Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Hay una página llamada «Lenguajes de especificación» en esta wiki.
- autómatas de estado finito para la especificación de sistemas distribuidos. Larch, familia de lenguajes formales de especificación. Lotos, lenguaje formal…3 kB (334 palabras) - 15:34 1 mar 2020
- SDL es un lenguaje de especificación formal y visual normado por la ITU-T en el estándar Z.100, así como el acrónimo de Specification and Description…2 kB (263 palabras) - 20:11 18 ene 2024
- especificación, proveyendo de esta forma un prototipo del software. Métodos formales Lenguajes formales Lenguajes de especificación Implementación de referencia J.…3 kB (382 palabras) - 15:32 29 ene 2024
- precisas de herencia en los tipos. Aunque se trata de un lenguaje de especificación ya adoptado para UML 2.0, falta todavía definir los detalles de su utilización…2 kB (279 palabras) - 17:12 29 sep 2023
- esto se refiere como el lenguaje de especificación. La notación de Backus-Naur fue uno de los primeros lenguajes de especificación. Cuando los compiladores…7 kB (902 palabras) - 09:21 25 mar 2024
- Language Of Temporal Ordering Specification (redirección desde Lotos (lenguaje formal))(en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS…1 kB (119 palabras) - 17:12 29 ene 2024
- soporta el uso de especificaciones formales a través de precondiciones y postcondiciones de funciones e invariantes de lazos. El lenguajes es también notable…6 kB (761 palabras) - 16:28 8 ago 2019
- cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas…3 kB (308 palabras) - 12:49 22 ene 2024
- programación Lenguaje de especificación Lenguaje de consulta, como SQL o XQuery Lenguaje de marcas, como XML y otros más ligeros Lenguaje de transformación…2 kB (193 palabras) - 19:40 20 jun 2023
- Alloy (categoría Lenguaje Z)difiere de muchos lenguajes de especificación por la comprobación de modelo en la que permite la definición de modelos infinitos. El analizador de Alloy…3 kB (312 palabras) - 12:40 11 ene 2024
- La especificación de requisitos de software (ERS) es una descripción completa del comportamiento del sistema que se va a desarrollar. Incluye un conjunto…3 kB (384 palabras) - 18:33 6 mar 2024
- Java Modeling Language (categoría Lenguajes de especificación)español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre-, postcondiciones e invariantes de la lógica…8 kB (968 palabras) - 18:28 5 dic 2023
- uso de Lenguajes de Especificación para desarrollar modelos del producto a probar para que a partir de ellos se generen automáticamente casos de prueba…7 kB (887 palabras) - 18:22 17 abr 2021
- 2002). Muchos lenguajes de programación se distinguen por las características de sus sistemas de tipos. La Semántica formal es la especificación formar del…10 kB (1278 palabras) - 21:54 25 ene 2024
- RAISE (categoría Lenguajes de especificación)ESPRIT II LaCoS de los años 1990, dirigido por Dines Bjørner. Consiste en un conjunto de herramientas en torno al lenguaje de especificación (RSL) para el…1 kB (104 palabras) - 18:23 24 feb 2020
- El lenguaje de especificación de procesos (PSL por sus siglas en inglés) es un conjunto de términos lógicos utilizados para describir procesos. Los términos…4 kB (396 palabras) - 19:36 27 sep 2023
- programación gráfica. SDL (lenguaje de especificación), en el contexto de los lenguajes de especificación es una técnica de descripción visual/formal para…1 kB (118 palabras) - 07:02 30 ago 2021
- Niveles de Diseño de Software. Estilos arquitectónicos. Lenguajes de especificación de arquitecturas. Validación de Arquitecturas. Atributos de calidad de software
- (Shareware) Bases de datos XML: - BaseX (Software Libre) - eXistdb (Software Libre) RA1. Reconoce las características de lenguajes de marcas, analizando
- los comisionados que ciñesen el proyecto a señalar con especificacion los artículos vacíos de sentido, inintelijibles e inaplicables, proponiendo al mismo
- con especificación de días y horarios. Uso: formal. Ejemplo: La Comunitat Valenciana mantuvo en 2010 su liderazgo en programación de conciertos de música
- derechos de autor en septiembre de 2010. A los 14 años, Swartz fue coautor de las especificaciones RSS 1.0. Desde entonces se convirtió en miembro de la W3C